#ifndef __VE_CORE_UTILS_H__
#define __VE_CORE_UTILS_H__

int ve_cpu_count();

void ve_sleep( int msec );

int ve_get_time();

#endif /* __VE_CORE_UTILS_H__ */
